Проведен анализ существующих средств описания управления дискретных вычислительных систем, в частности, известного языка граф-схем алгоритмов (ГСА). Предложено развитие ГСА в виде модели параллельных ГСА, а также метод ее аппаратной реализации.

The analysis of existing resources of the description of handle of discrete computing systems in particular of known language of the graphs-scheme of algorithms (GSA) is lead. The development GSA as model parallel GSA (PGSA), and method of her hardware representation is offered.

Предложены модель высокого уровня для цифровых управляющих устройств - кластерная граф-схема алгоритмов (КГСА) и метод синтеза, основанный на использовании этой модели. Проанализированы свойства данной модели и результаты экспериментов по использованию предложенного метода при проектировании аппаратного обеспечения.

Запропоновано модель високого рівня для цифрових керувальних пристроїв - кластерна граф-схема алгоритмів (КГСА) і метод синтезу, що базується на використанні цієї моделі. Проаналізовано властивості цієї моделі й результати експериментів щодо використання запропонованого методу під час проектування апаратного забезпечення.

In article the model of a high level for digital control devices Ц cluster graphs-scheme of algo- rithms (CGSA) and the method of synthesis based on use of this model is offered. The analysis of properties of the given model and results of experiments on use of the offered method is resulted at designing hardware.

Предложена математическая модель цифрового управляющего устройства - микропрограммный композиционный автомат с произвольным количеством выходов и метод структурного синтеза, основанный на использовании этой модели. Использование предложенной модели и метода в процессе синтеза цифровых управляющих устройств позволяет: описывать изменение режима поведения устройства во времени и в пространстве его выходов, отказаться от явного разнесения проверок состояний входов и выработки состояний выходов для борьбы с некорректным функционированием системы устройство управления - объект управления.

Предложены модели композиционных автоматов, которые соединяют свойства абстрактных автоматов (АА) Моли и Мура во времени, а также во времени и пространстве выходов. Показано, что композиционные автоматы образуют самостоятельные классы АА.

Проведен анализ существующей классификации моделей организации параллельных вычислительных процессов, сделаны выводы относительно ее недостатков. Предложена классификация на основе признаков качества описания пространства решений задачи, которая описывается с помощью модели.